$DEVSEQ is valid only when devices are sorted